Amphi-ZF : axioms for Conway games
نویسندگان
چکیده
A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser [8], via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.
منابع مشابه
Partizan Games in Isabelle/HOLZF
Partizan Games (PGs) were invented by John H. Conway and are described in his book On Numbers and Games. We formalize PGs in Higher Order Logic extended with ZF axioms (HOLZF) using Isabelle, a mechanical proof assistant. We show that PGs can be defined as the unique fixpoint of a function that arises naturally from Conway’s original definition. While the construction of PGs in HOLZF relies hea...
متن کاملA Note on Pure Variations of Axioms of Blackwell Determinacy
In this note, we look at weaker versions of the Axiom of Blackwell Determinacy introduced in [Lö02b] and [Lö03]. We use these results to get a new lower bound for the consistency strength of the Axiom of pure Blackwell Determinacy pBl-AD. We shall investigate Blackwell games against opponents with arbitrary mixed strategies Bl-Det(Γ), against opponents with usual pure strategies pBl-Det(Γ), and...
متن کاملModels of second-order Zermelo set theory
Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory (ZF) shows that Vù, the first transfinite level of the hierarchy, is a model of all the axioms of ZF with the exception of the axiom of infinity. And, in general, one finds that if κ is a strongly inaccessible ordinal, then Vκ is a model of all of the axioms of ZF.1 (For all these models, we take ∈ to be the standard element...
متن کاملUnifying Some Notions of Infinity in Zc and Zf
Let ZC − I (respectively, ZF − I) be the theory obtained by deleting the axiom of infinity from the usual list of axioms for Zermelo set theory with choice (respectively, the usual list of axioms for Zermelo-Fraenkel set theory). In this note, we present a collection of sentences ∃xφ(x) for which (ZC − I) + ∃xφ(x) (respectively, (ZF − I) + ∃xφ(x)) proves the existence of an infinite set.
متن کاملIndependence results around constructive ZF
When making the transition from a classical to an intuitionistic system, one is compelled to reconsider the axioms chosen. For instance, it would be natural to re-formulate those that imply Excluded Middle. In the context of set theory, typically the Axiom of Foundation is substituted by the Axiom of Set Induction, the two being equivalent classically but the latter not yielding Excluded Middle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 51 شماره
صفحات -
تاریخ انتشار 2012